Formal Derivation of a Distributed Load Balancing Algorithm
نویسنده
چکیده
Superposition is a program modularization and structuring method for develo ping parallel and distributed systems by adding new functionality to an algorithm while the original computation is preserved We use action systems as a forma lism for the construction of distributed systems in a stepwise manner within the re nement calculus The superposition method has been formalized as a program re nement rule for action systems within this calculus In this paper we derive a distributed load balancing algorithm of Hofstee et al using the superposi tion method We hereby want to check if we can use superposition as a general formalism for developing distributed systems
منابع مشابه
Load Balancing Approaches for Web Servers: A Survey of Recent Trends
Numerous works has been done for load balancing of web servers in grid environment. Reason behinds popularity of grid environment is to allow accessing distributed resources which are located at remote locations. For effective utilization, load must be balanced among all resources. Importance of load balancing is discussed by distinguishing the system between without load balancing and with loa...
متن کاملLayering Distributed Algorithms
Superposition is a powerful program modularization and structuring method for developing parallel and distributed systems by adding new functionality to an algorithm while preserving the original computation The superposition method will thus structure the distributed algorithm in a number of mechanisms on top of the original computation In this paper the derivation using the super position met...
متن کاملStages and Transformations in Parallel Programming
An approach, called SAT (Stages And Transformations), is introduced to support the derivation of parallel distributed-memory programs. During the design, a program is viewed as a single thread of stages, with parallelism concentrated within stages; the target program is of the SPMD format. The design process is based on the transformation rules of the Bird-Meertens formalism of higher-order fun...
متن کاملOnline Distribution and Load Balancing Optimization Using the Robin Hood and Johnson Hybrid Algorithm
Proper planning of assembly lines is one of the production managers’ concerns at the tactical level so that it would be possible to use the machine capacity, reduce operating costs and deliver customer orders on time. The lack of an efficient method in balancing assembly line can create threatening problems for manufacturing organizations. The use of assembly line balancing methods cannot balan...
متن کاملThe Derivation of a New DMOS Distributed Garbage Collector
This talk describes the derivation of a modularised version of the DMOS distributed garbage collection algorithm. DMOS appears to exhibit a unique combination of attractive characteristics for a distributed garbage collector but the original algorithm is known to contain a bug and, previous to this work, lacks a satisfactory, understandable implementation. A modularised DMOS algorithm is develo...
متن کامل